Nuprl Definition : squash 12,41
T == {:True| T}  
latex

DefinitionsT, True
FDL editor aliasessquash

origin